Distributed Safety Controllers for Web Services
نویسندگان
چکیده
منابع مشابه
Distributed Safety Controllers for Web Services
We show how to use high-level synchronization constraints, written in a version of monadic second-order logic on nite strings, to synthesize safety controllers for interactive web services. We improve on the naïve runtime model to avoid state-space explosions and to increase the ow capacities of services.
متن کاملSequence-Controlled Web Services for Programmable Logic Controllers
The use of service-oriented architectures based on web services in the manufacturing layer of industrial enterprises enables vertical integration and promises increased interoperability. Unfortunately, the differing execution patterns—cyclic execution on programmable logic controllers vs. on-demand execution on industrial PCs—complicate the use of web services in the manufacturing layer. This p...
متن کاملSecure Password Pocket for Distributed Web Services
Password authentication (PA) is a general and well-known technique to authenticate a user who is trying to establish a connection in distributed web services. The main idea of PA is to remove complex information from users so that they can log on servers only with a human-memorable password at anywhere. So far, many papers have been proposed to set up security requirements and improve the effic...
متن کاملAn Architecture for Distributed Mathematical Web Services
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients to access mathematical computational facilities through a uniform set of network protocols, independent of the software packages that provide the end functionality. The author of a mathematical web service need know on...
متن کاملTrust enhanced distributed authorisation for web services
a r t i c l e i n f o a b s t r a c t In this paper, we propose a trust enhanced distributed authorisation architecture (TEDA) that provides a holistic framework for authorisation taking into account the state of a user platform. The model encompasses the notions of 'hard' and 'soft' trust to determine whether a platform can be trusted for authorisation. We first explain the rationale for the o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 1997
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v4i47.19268